| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Algorithmische Modelltheorie I | Fach-/Modulprüfung | 8 | 463156 | ||
| Vorlesung | 467727 | Mo 10:30-12:00 IV (1010|141) (×15) Mi 12:30-14:00 AH I (2350|028) (×14) | |||
| Übung | 467726 | Do 12:30-14:00 SG 12 (1810|012) (×15) | |||
| Algorithmische Spieltheorie | Fach-/Modulprüfung | 6 | 468674 | ||
| Vorlesung | 467131 | Mo 12:30-14:00 klPhys (1090|334) (×12) Di 10:30-11:30 B037 (3011|037) (×1) Do 14:30-16:00 III (1010|107) (×12) Fr 10:00-11:00 B037 (3011|037) (×1) | |||
| Analyse von Algorithmen | Fach-/Modulprüfung | 8 | 463272 | ||
| Vorlesung | 468548 | Di 10:30-12:00 5052 (2356|052) (×12) Mi 10:30-12:00 5055 (2356|055) (×13) | |||
| Compilerbau | Fach-/Modulprüfung | 6 | 463090 | ||
| Vorlesung | 460125 | Mo 14:30-16:00 AachenMünchener Halle (Aula) (1010|131) (×10) Mo 15:00-16:30 AH VI (2356|051) (×2) Fr 11:00-13:00 AH V (2356|050) (×1) Fr 12:30-14:00 Roter Hörsaal AM (Ro) (1420|002) (×11) | |||
| Übung | 458641 | Mi 14:30-16:00 AH II (2350|111) (×10) | |||
| Concurrency Theory | Fach-/Modulprüfung | 6 | 462904 | ||
| Dynamical Processes on Networks | Fach-/Modulprüfung | 6 | 464294 | ||
| Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 463369 | ||
| Vorlesung/Übung | 459420 | Mo 10:30-12:00 AH I (2350|028) (×12) Mo 10:30-12:00 AH VI (2356|051) (×1) Di 08:30-10:00 AH I (2350|028) (×13) Mi 10:15-11:00 AH II (2350|111) (×12) | |||
| Formale Grundlagen von UML | Fach-/Modulprüfung | 6 | 465978 | ||
| Graphalgorithmen | Fach-/Modulprüfung | 6 | 463381 | ||
| Vorlesung | 467471 | Di 14:30-16:00 AH III (2350|314.1) (×9) Mi 14:30-16:00 AH V (2356|050) (×11) Do 11:00-12:00 5054 (2356|054) (×1) | |||
| Tutorium | 467472 | Di 16:30-18:00 5056 (2356|056) (×11) Mi 16:30-18:00 Seminarraum i1, Raum 4017 (2353|017) (×11) Do 12:30-14:00 5056 (2356|056) (×11) | |||
| Graphzerlegungen und algorithmische Anwendungen | Fach-/Modulprüfung | 6 | 466550 | ||
| Infinite Computations and Games | Fach-/Modulprüfung | 6 | 463445 | ||
| Vorlesung | 459500 | Do 12:30-14:00 AH II (2350|111) (×12) | |||
| Übung | 459245 | Di 16:30-18:00 5055 (2356|055) (×14) | |||
| Komplexitätstheorie | Fach-/Modulprüfung | 6 | 463416 | ||
| Logik und Spiele | Fach-/Modulprüfung | 8 | 464854 | ||
| Fach-/Modulprüfung | 8 | 464855 | |||
| Mathematische Logik II | Fach-/Modulprüfung | 8 | 463152 | ||
| Model Checking | Fach-/Modulprüfung | 6 | 465959 | ||
| Modeling and Verification of Probabilistic Systems | Fach-/Modulprüfung | 6 | 464045 | ||
| Parametrisierte Algorithmen | Fach-/Modulprüfung | 8 | 465960 | ||
| Probabilistic Programming | Fach-/Modulprüfung | 6 | 463299 | ||
| Vorlesung | 458250 | Di 16:30-18:00 AH III (2350|314.1) (×9) Do 16:30-18:00 AH II (2350|111) (×12) | |||
| Übung | 458006 | Fr 12:30-14:00 AH I (2350|028) (×10) |